<body>
Implementation of the data structures available in org.sat4j.specs.

Those classe were previously located in org.sat4j.minisat.core.
</body>